../mpn/x86_64/mul_1.asm